package tarantula.experiment.timeandmoney;

import junit.framework.TestCase;

public class TimeAndMoneyFailedTestsDDSliceBug1 extends TestCase {
	public void test1() throws Throwable {

	    java.lang.Integer var0 = new java.lang.Integer(0);
	    java.lang.Integer var1 = new java.lang.Integer(100);
	    java.lang.Integer var2 = new java.lang.Integer(1);
	    java.lang.Integer var3 = new java.lang.Integer(1);
	    java.lang.Integer var4 = new java.lang.Integer(100);
	    java.lang.Integer var5 = new java.lang.Integer((-1));
	    java.lang.Integer var6 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var7 = com.domainlanguage.time.TimePoint.atGMT((int)var0, (int)var1, (int)var2, (int)var3, (int)var4, (int)var5, (int)var6);
	    com.domainlanguage.time.TimeInterval var8 = com.domainlanguage.time.TimeInterval.everFrom(var7);
	    
	    // Checks the contract:  var8.equals(var8)
	    assertTrue("Contract failed: var8.equals(var8)", var8.equals(var8));

	  }

	  public void test2() throws Throwable {

	    java.lang.Integer var0 = new java.lang.Integer(100);
	    com.domainlanguage.time.Duration var1 = com.domainlanguage.time.Duration.years((int)var0);
	    java.lang.Integer var2 = new java.lang.Integer(0);
	    java.lang.Integer var3 = new java.lang.Integer(100);
	    java.lang.Integer var4 = new java.lang.Integer(1);
	    java.lang.Integer var5 = new java.lang.Integer(1);
	    java.lang.Integer var6 = new java.lang.Integer(100);
	    java.lang.Integer var7 = new java.lang.Integer((-1));
	    java.lang.Integer var8 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var9 = com.domainlanguage.time.TimePoint.atGMT((int)var2, (int)var3, (int)var4, (int)var5, (int)var6, (int)var7, (int)var8);
	    com.domainlanguage.time.TimeInterval var10 = var1.startingFrom(var9);
	    com.domainlanguage.time.TimePoint var11 = var10.start();
	    com.domainlanguage.time.TimeInterval var12 = com.domainlanguage.time.TimeInterval.everPreceding(var11);
	    
	    // Checks the contract:  var12.equals(var12)
	    assertTrue("Contract failed: var12.equals(var12)", var12.equals(var12));

	  }

	  public void test3() throws Throwable {

	    java.lang.Integer var0 = new java.lang.Integer(100);
	    com.domainlanguage.time.Duration var1 = com.domainlanguage.time.Duration.years((int)var0);
	    java.lang.Integer var2 = new java.lang.Integer(0);
	    java.lang.Integer var3 = new java.lang.Integer(100);
	    java.lang.Integer var4 = new java.lang.Integer(1);
	    java.lang.Integer var5 = new java.lang.Integer(1);
	    java.lang.Integer var6 = new java.lang.Integer(100);
	    java.lang.Integer var7 = new java.lang.Integer((-1));
	    java.lang.Integer var8 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var9 = com.domainlanguage.time.TimePoint.atGMT((int)var2, (int)var3, (int)var4, (int)var5, (int)var6, (int)var7, (int)var8);
	    java.lang.Integer var10 = new java.lang.Integer(0);
	    java.lang.Integer var11 = new java.lang.Integer(100);
	    java.lang.Integer var12 = new java.lang.Integer(1);
	    java.lang.Integer var13 = new java.lang.Integer(1);
	    java.lang.Integer var14 = new java.lang.Integer(100);
	    java.lang.Integer var15 = new java.lang.Integer((-1));
	    java.lang.Integer var16 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var17 = com.domainlanguage.time.TimePoint.atGMT((int)var10, (int)var11, (int)var12, (int)var13, (int)var14, (int)var15, (int)var16);
	    java.lang.Integer var18 = new java.lang.Integer(100);
	    com.domainlanguage.time.Duration var19 = com.domainlanguage.time.Duration.years((int)var18);
	    java.lang.Integer var20 = new java.lang.Integer(0);
	    java.lang.Integer var21 = new java.lang.Integer(100);
	    java.lang.Integer var22 = new java.lang.Integer(1);
	    java.lang.Integer var23 = new java.lang.Integer(1);
	    java.lang.Integer var24 = new java.lang.Integer(100);
	    java.lang.Integer var25 = new java.lang.Integer((-1));
	    java.lang.Integer var26 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var27 = com.domainlanguage.time.TimePoint.atGMT((int)var20, (int)var21, (int)var22, (int)var23, (int)var24, (int)var25, (int)var26);
	    java.lang.Integer var28 = new java.lang.Integer(100);
	    com.domainlanguage.time.Duration var29 = com.domainlanguage.time.Duration.years((int)var28);
	    java.lang.Integer var30 = new java.lang.Integer(0);
	    java.lang.Integer var31 = new java.lang.Integer(100);
	    java.lang.Integer var32 = new java.lang.Integer(1);
	    java.lang.Integer var33 = new java.lang.Integer(1);
	    java.lang.Integer var34 = new java.lang.Integer(100);
	    java.lang.Integer var35 = new java.lang.Integer((-1));
	    java.lang.Integer var36 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var37 = com.domainlanguage.time.TimePoint.atGMT((int)var30, (int)var31, (int)var32, (int)var33, (int)var34, (int)var35, (int)var36);
	    com.domainlanguage.time.TimeInterval var38 = var29.startingFrom(var37);
	    boolean var39 = var27.isAfter(var38);
	    java.lang.Integer var40 = new java.lang.Integer(0);
	    java.lang.Integer var41 = new java.lang.Integer(100);
	    java.lang.Integer var42 = new java.lang.Integer(1);
	    java.lang.Integer var43 = new java.lang.Integer(1);
	    java.lang.Integer var44 = new java.lang.Integer(100);
	    java.lang.Integer var45 = new java.lang.Integer((-1));
	    java.lang.Integer var46 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var47 = com.domainlanguage.time.TimePoint.atGMT((int)var40, (int)var41, (int)var42, (int)var43, (int)var44, (int)var45, (int)var46);
	    java.lang.Double var48 = new java.lang.Double(0.0d);
	    com.domainlanguage.money.Money var49 = com.domainlanguage.money.Money.euros((double)var48);
	    java.lang.Short var50 = new java.lang.Short((short)(-1));
	    boolean var51 = var49.equals((java.lang.Object)var50);
	    com.domainlanguage.time.TimeInterval var52 = com.domainlanguage.time.TimeInterval.over(var9, var47);
	    com.domainlanguage.time.TimePoint var53 = var52.start();
	    com.domainlanguage.time.TimeInterval var54 = com.domainlanguage.time.TimeInterval.everFrom(var53);
	    
	    // Checks the contract:  var54.equals(var54)
	    assertTrue("Contract failed: var54.equals(var54)", var54.equals(var54));

	  }

	  public void test4() throws Throwable {

	    java.lang.Integer var0 = new java.lang.Integer(100);
	    com.domainlanguage.time.Duration var1 = com.domainlanguage.time.Duration.years((int)var0);
	    java.lang.Integer var2 = new java.lang.Integer(0);
	    java.lang.Integer var3 = new java.lang.Integer(100);
	    java.lang.Integer var4 = new java.lang.Integer(1);
	    java.lang.Integer var5 = new java.lang.Integer(1);
	    java.lang.Integer var6 = new java.lang.Integer(100);
	    java.lang.Integer var7 = new java.lang.Integer((-1));
	    java.lang.Integer var8 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var9 = com.domainlanguage.time.TimePoint.atGMT((int)var2, (int)var3, (int)var4, (int)var5, (int)var6, (int)var7, (int)var8);
	    java.lang.Integer var10 = new java.lang.Integer(100);
	    com.domainlanguage.time.Duration var11 = com.domainlanguage.time.Duration.years((int)var10);
	    java.lang.Integer var12 = new java.lang.Integer(0);
	    java.lang.Integer var13 = new java.lang.Integer(100);
	    java.lang.Integer var14 = new java.lang.Integer(1);
	    java.lang.Integer var15 = new java.lang.Integer(1);
	    java.lang.Integer var16 = new java.lang.Integer(100);
	    java.lang.Integer var17 = new java.lang.Integer((-1));
	    java.lang.Integer var18 = new java.lang.Integer(100);
	    com.domainlanguage.time.Duration var19 = com.domainlanguage.time.Duration.years((int)var18);
	    java.lang.Integer var20 = new java.lang.Integer(0);
	    java.lang.Integer var21 = new java.lang.Integer(100);
	    java.lang.Integer var22 = new java.lang.Integer(1);
	    java.lang.Integer var23 = new java.lang.Integer(1);
	    java.lang.Integer var24 = new java.lang.Integer(100);
	    java.lang.Integer var25 = new java.lang.Integer((-1));
	    java.lang.Integer var26 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var27 = com.domainlanguage.time.TimePoint.atGMT((int)var20, (int)var21, (int)var22, (int)var23, (int)var24, (int)var25, (int)var26);
	    com.domainlanguage.time.TimeInterval var28 = var19.startingFrom(var27);
	    com.domainlanguage.time.TimePoint var29 = var28.start();
	    com.domainlanguage.time.TimeInterval var30 = com.domainlanguage.time.TimeInterval.everPreceding(var9);
	    
	    // Checks the contract:  var30.equals(var30)
	    assertTrue("Contract failed: var30.equals(var30)", var30.equals(var30));

	  }

	  public void test5() throws Throwable {

	    java.lang.Integer var0 = new java.lang.Integer(0);
	    java.lang.Integer var1 = new java.lang.Integer(100);
	    java.lang.Integer var2 = new java.lang.Integer(1);
	    java.lang.Integer var3 = new java.lang.Integer(1);
	    java.lang.Integer var4 = new java.lang.Integer(100);
	    java.lang.Integer var5 = new java.lang.Integer((-1));
	    java.lang.Integer var6 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var7 = com.domainlanguage.time.TimePoint.atGMT((int)var0, (int)var1, (int)var2, (int)var3, (int)var4, (int)var5, (int)var6);
	    java.lang.Integer var8 = new java.lang.Integer(100);
	    com.domainlanguage.time.Duration var9 = com.domainlanguage.time.Duration.years((int)var8);
	    java.lang.Integer var10 = new java.lang.Integer(0);
	    java.lang.Integer var11 = new java.lang.Integer(100);
	    java.lang.Integer var12 = new java.lang.Integer(1);
	    java.lang.Integer var13 = new java.lang.Integer(1);
	    java.lang.Integer var14 = new java.lang.Integer(100);
	    java.lang.Integer var15 = new java.lang.Integer((-1));
	    java.lang.Integer var16 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var17 = com.domainlanguage.time.TimePoint.atGMT((int)var10, (int)var11, (int)var12, (int)var13, (int)var14, (int)var15, (int)var16);
	    java.lang.Integer var18 = new java.lang.Integer(100);
	    com.domainlanguage.time.Duration var19 = com.domainlanguage.time.Duration.years((int)var18);
	    java.lang.Integer var20 = new java.lang.Integer(0);
	    java.lang.Integer var21 = new java.lang.Integer(100);
	    java.lang.Integer var22 = new java.lang.Integer(1);
	    java.lang.Integer var23 = new java.lang.Integer(1);
	    java.lang.Integer var24 = new java.lang.Integer(100);
	    java.lang.Integer var25 = new java.lang.Integer((-1));
	    java.lang.Integer var26 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var27 = com.domainlanguage.time.TimePoint.atGMT((int)var20, (int)var21, (int)var22, (int)var23, (int)var24, (int)var25, (int)var26);
	    com.domainlanguage.time.TimeInterval var28 = var19.startingFrom(var27);
	    boolean var29 = var17.isAfter(var28);
	    java.lang.Integer var30 = new java.lang.Integer(0);
	    java.lang.Integer var31 = new java.lang.Integer(100);
	    java.lang.Integer var32 = new java.lang.Integer(1);
	    java.lang.Integer var33 = new java.lang.Integer(1);
	    java.lang.Integer var34 = new java.lang.Integer(100);
	    java.lang.Integer var35 = new java.lang.Integer((-1));
	    java.lang.Integer var36 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var37 = com.domainlanguage.time.TimePoint.atGMT((int)var30, (int)var31, (int)var32, (int)var33, (int)var34, (int)var35, (int)var36);
	    java.lang.Double var38 = new java.lang.Double(0.0d);
	    com.domainlanguage.money.Money var39 = com.domainlanguage.money.Money.euros((double)var38);
	    java.lang.Short var40 = new java.lang.Short((short)(-1));
	    java.lang.Long var41 = new java.lang.Long(1L);
	    com.domainlanguage.time.Duration var42 = com.domainlanguage.time.Duration.milliseconds((long)var41);
	    java.lang.Integer var43 = new java.lang.Integer(0);
	    java.lang.Integer var44 = new java.lang.Integer(0);
	    java.lang.Integer var45 = new java.lang.Integer(100);
	    java.lang.Integer var46 = new java.lang.Integer(1);
	    java.lang.Integer var47 = new java.lang.Integer(1);
	    java.lang.Integer var48 = new java.lang.Integer(100);
	    java.lang.Integer var49 = new java.lang.Integer((-1));
	    java.lang.Integer var50 = new java.lang.Integer((-1));
	    java.lang.Integer var51 = new java.lang.Integer((-1));
	    com.domainlanguage.time.CalendarDate var52 = com.domainlanguage.time.CalendarDate.from((int)var43, (int)var46, (int)var51);
	    com.domainlanguage.time.CalendarDate var53 = var52.lastOfMonth();
	    com.domainlanguage.time.TimeInterval var54 = com.domainlanguage.time.TimeInterval.everFrom(var7);
	    
	    // Checks the contract:  var54.equals(var54)
	    assertTrue("Contract failed: var54.equals(var54)", var54.equals(var54));

	  }

	  

	  public void test8() throws Throwable {

	    java.lang.Long var0 = new java.lang.Long(1L);
	    com.domainlanguage.time.Duration var1 = com.domainlanguage.time.Duration.milliseconds((long)var0);
	    java.lang.Integer var2 = new java.lang.Integer(0);
	    java.lang.Integer var3 = new java.lang.Integer(0);
	    java.lang.Integer var4 = new java.lang.Integer(100);
	    java.lang.Integer var5 = new java.lang.Integer(1);
	    java.lang.Integer var6 = new java.lang.Integer(1);
	    java.lang.Integer var7 = new java.lang.Integer(100);
	    java.lang.Integer var8 = new java.lang.Integer((-1));
	    java.lang.Integer var9 = new java.lang.Integer((-1));
	    java.lang.Integer var10 = new java.lang.Integer((-1));
	    com.domainlanguage.time.CalendarDate var11 = com.domainlanguage.time.CalendarDate.from((int)var2, (int)var5, (int)var10);
	    com.domainlanguage.time.CalendarDate var12 = var11.lastOfMonth();
	    java.lang.Long var13 = new java.lang.Long(1L);
	    com.domainlanguage.time.CalendarDate var14 = var1.addedTo(var12);
	    java.lang.Integer var15 = new java.lang.Integer(100);
	    com.domainlanguage.time.Duration var16 = com.domainlanguage.time.Duration.years((int)var15);
	    java.lang.Integer var17 = new java.lang.Integer(0);
	    java.lang.Integer var18 = new java.lang.Integer(100);
	    java.lang.Integer var19 = new java.lang.Integer(1);
	    java.lang.Integer var20 = new java.lang.Integer(1);
	    java.lang.Integer var21 = new java.lang.Integer(100);
	    java.lang.Integer var22 = new java.lang.Integer((-1));
	    java.lang.Integer var23 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var24 = com.domainlanguage.time.TimePoint.atGMT((int)var17, (int)var18, (int)var19, (int)var20, (int)var21, (int)var22, (int)var23);
	    java.lang.Integer var25 = new java.lang.Integer(0);
	    java.lang.Integer var26 = new java.lang.Integer(100);
	    java.lang.Integer var27 = new java.lang.Integer(1);
	    java.lang.Integer var28 = new java.lang.Integer(1);
	    java.lang.Integer var29 = new java.lang.Integer(100);
	    java.lang.Integer var30 = new java.lang.Integer((-1));
	    java.lang.Integer var31 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var32 = com.domainlanguage.time.TimePoint.atGMT((int)var25, (int)var26, (int)var27, (int)var28, (int)var29, (int)var30, (int)var31);
	    java.lang.Integer var33 = new java.lang.Integer(100);
	    com.domainlanguage.time.Duration var34 = com.domainlanguage.time.Duration.years((int)var33);
	    java.lang.Integer var35 = new java.lang.Integer(0);
	    java.lang.Integer var36 = new java.lang.Integer(100);
	    java.lang.Integer var37 = new java.lang.Integer(1);
	    java.lang.Integer var38 = new java.lang.Integer(1);
	    java.lang.Integer var39 = new java.lang.Integer(100);
	    java.lang.Integer var40 = new java.lang.Integer((-1));
	    java.lang.Integer var41 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var42 = com.domainlanguage.time.TimePoint.atGMT((int)var35, (int)var36, (int)var37, (int)var38, (int)var39, (int)var40, (int)var41);
	    java.lang.Integer var43 = new java.lang.Integer(100);
	    com.domainlanguage.time.Duration var44 = com.domainlanguage.time.Duration.years((int)var43);
	    java.lang.Integer var45 = new java.lang.Integer(0);
	    java.lang.Integer var46 = new java.lang.Integer(100);
	    java.lang.Integer var47 = new java.lang.Integer(1);
	    java.lang.Integer var48 = new java.lang.Integer(1);
	    java.lang.Integer var49 = new java.lang.Integer(100);
	    java.lang.Integer var50 = new java.lang.Integer((-1));
	    java.lang.Integer var51 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var52 = com.domainlanguage.time.TimePoint.atGMT((int)var45, (int)var46, (int)var47, (int)var48, (int)var49, (int)var50, (int)var51);
	    com.domainlanguage.time.TimeInterval var53 = var44.startingFrom(var52);
	    boolean var54 = var42.isAfter(var53);
	    java.lang.Integer var55 = new java.lang.Integer(0);
	    java.lang.Integer var56 = new java.lang.Integer(100);
	    java.lang.Integer var57 = new java.lang.Integer(1);
	    java.lang.Integer var58 = new java.lang.Integer(1);
	    java.lang.Integer var59 = new java.lang.Integer(100);
	    java.lang.Integer var60 = new java.lang.Integer((-1));
	    java.lang.Integer var61 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var62 = com.domainlanguage.time.TimePoint.atGMT((int)var55, (int)var56, (int)var57, (int)var58, (int)var59, (int)var60, (int)var61);
	    java.lang.Double var63 = new java.lang.Double(0.0d);
	    com.domainlanguage.money.Money var64 = com.domainlanguage.money.Money.euros((double)var63);
	    java.lang.Short var65 = new java.lang.Short((short)(-1));
	    boolean var66 = var64.equals((java.lang.Object)var65);
	    com.domainlanguage.time.TimeInterval var67 = com.domainlanguage.time.TimeInterval.over(var24, var62);
	    com.domainlanguage.time.TimePoint var68 = var67.start();
	    com.domainlanguage.time.TimeInterval var69 = com.domainlanguage.time.TimeInterval.everPreceding(var68);
	    
	    // Checks the contract:  var69.equals(var69)
	    assertTrue("Contract failed: var69.equals(var69)", var69.equals(var69));

	  }

	  public void test9() throws Throwable {

	    java.lang.Integer var0 = new java.lang.Integer(100);
	    com.domainlanguage.time.Duration var1 = com.domainlanguage.time.Duration.years((int)var0);
	    java.lang.Integer var2 = new java.lang.Integer(0);
	    java.lang.Integer var3 = new java.lang.Integer(100);
	    java.lang.Integer var4 = new java.lang.Integer(1);
	    java.lang.Integer var5 = new java.lang.Integer(1);
	    java.lang.Integer var6 = new java.lang.Integer(100);
	    java.lang.Integer var7 = new java.lang.Integer((-1));
	    java.lang.Integer var8 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var9 = com.domainlanguage.time.TimePoint.atGMT((int)var2, (int)var3, (int)var4, (int)var5, (int)var6, (int)var7, (int)var8);
	    java.lang.Integer var10 = new java.lang.Integer(0);
	    java.lang.Integer var11 = new java.lang.Integer(100);
	    java.lang.Integer var12 = new java.lang.Integer(1);
	    java.lang.Integer var13 = new java.lang.Integer(1);
	    java.lang.Integer var14 = new java.lang.Integer(100);
	    java.lang.Integer var15 = new java.lang.Integer((-1));
	    java.lang.Integer var16 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var17 = com.domainlanguage.time.TimePoint.atGMT((int)var10, (int)var11, (int)var12, (int)var13, (int)var14, (int)var15, (int)var16);
	    java.lang.Integer var18 = new java.lang.Integer(100);
	    com.domainlanguage.time.Duration var19 = com.domainlanguage.time.Duration.years((int)var18);
	    java.lang.Integer var20 = new java.lang.Integer(0);
	    java.lang.Integer var21 = new java.lang.Integer(100);
	    java.lang.Integer var22 = new java.lang.Integer(1);
	    java.lang.Integer var23 = new java.lang.Integer(1);
	    java.lang.Integer var24 = new java.lang.Integer(100);
	    java.lang.Integer var25 = new java.lang.Integer((-1));
	    java.lang.Integer var26 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var27 = com.domainlanguage.time.TimePoint.atGMT((int)var20, (int)var21, (int)var22, (int)var23, (int)var24, (int)var25, (int)var26);
	    java.lang.Integer var28 = new java.lang.Integer(100);
	    com.domainlanguage.time.Duration var29 = com.domainlanguage.time.Duration.years((int)var28);
	    java.lang.Integer var30 = new java.lang.Integer(0);
	    java.lang.Integer var31 = new java.lang.Integer(100);
	    java.lang.Integer var32 = new java.lang.Integer(1);
	    java.lang.Integer var33 = new java.lang.Integer(1);
	    java.lang.Integer var34 = new java.lang.Integer(100);
	    java.lang.Integer var35 = new java.lang.Integer((-1));
	    java.lang.Integer var36 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var37 = com.domainlanguage.time.TimePoint.atGMT((int)var30, (int)var31, (int)var32, (int)var33, (int)var34, (int)var35, (int)var36);
	    com.domainlanguage.time.TimeInterval var38 = var29.startingFrom(var37);
	    boolean var39 = var27.isAfter(var38);
	    java.lang.Integer var40 = new java.lang.Integer(0);
	    java.lang.Integer var41 = new java.lang.Integer(100);
	    java.lang.Integer var42 = new java.lang.Integer(1);
	    java.lang.Integer var43 = new java.lang.Integer(1);
	    java.lang.Integer var44 = new java.lang.Integer(100);
	    java.lang.Integer var45 = new java.lang.Integer((-1));
	    java.lang.Integer var46 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var47 = com.domainlanguage.time.TimePoint.atGMT((int)var40, (int)var41, (int)var42, (int)var43, (int)var44, (int)var45, (int)var46);
	    java.lang.Double var48 = new java.lang.Double(0.0d);
	    com.domainlanguage.money.Money var49 = com.domainlanguage.money.Money.euros((double)var48);
	    java.lang.Byte var50 = new java.lang.Byte((byte)100);
	    java.lang.Integer var51 = new java.lang.Integer(0);
	    java.lang.Integer var52 = new java.lang.Integer(100);
	    java.lang.Integer var53 = new java.lang.Integer(1);
	    java.lang.Integer var54 = new java.lang.Integer(1);
	    java.lang.Integer var55 = new java.lang.Integer(100);
	    java.lang.Integer var56 = new java.lang.Integer((-1));
	    java.lang.Integer var57 = new java.lang.Integer((-1));
	    com.domainlanguage.time.Duration var58 = com.domainlanguage.time.Duration.days((int)var51);
	    com.domainlanguage.time.TimeInterval var59 = com.domainlanguage.time.TimeInterval.everPreceding(var47);
	    
	    // Checks the contract:  var59.equals(var59)
	    assertTrue("Contract failed: var59.equals(var59)", var59.equals(var59));

	  }

	  public void test10() throws Throwable {

	    java.lang.Integer var0 = new java.lang.Integer(100);
	    java.lang.Integer var1 = new java.lang.Integer(100);
	    java.lang.Integer var2 = new java.lang.Integer(0);
	    java.lang.Integer var3 = new java.lang.Integer(0);
	    java.lang.Integer var4 = new java.lang.Integer(100);
	    java.lang.Integer var5 = new java.lang.Integer(1);
	    java.lang.Integer var6 = new java.lang.Integer(1);
	    com.domainlanguage.time.TimePoint var7 = com.domainlanguage.time.TimePoint.atMidnightGMT((int)var0, (int)var1, (int)var5);
	    com.domainlanguage.time.TimeInterval var8 = com.domainlanguage.time.TimeInterval.everPreceding(var7);
	    
	    // Checks the contract:  var8.equals(var8)
	    assertTrue("Contract failed: var8.equals(var8)", var8.equals(var8));

	  }

	 

	  public void test13() throws Throwable {

	    java.lang.Integer var0 = new java.lang.Integer(100);
	    com.domainlanguage.time.Duration var1 = com.domainlanguage.time.Duration.years((int)var0);
	    java.lang.Integer var2 = new java.lang.Integer(0);
	    java.lang.Integer var3 = new java.lang.Integer(100);
	    java.lang.Integer var4 = new java.lang.Integer(1);
	    java.lang.Integer var5 = new java.lang.Integer(1);
	    java.lang.Integer var6 = new java.lang.Integer(100);
	    java.lang.Integer var7 = new java.lang.Integer((-1));
	    java.lang.Integer var8 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var9 = com.domainlanguage.time.TimePoint.atGMT((int)var2, (int)var3, (int)var4, (int)var5, (int)var6, (int)var7, (int)var8);
	    java.lang.Integer var10 = new java.lang.Integer(0);
	    java.lang.Integer var11 = new java.lang.Integer(100);
	    java.lang.Integer var12 = new java.lang.Integer(1);
	    java.lang.Integer var13 = new java.lang.Integer(1);
	    java.lang.Integer var14 = new java.lang.Integer(100);
	    java.lang.Integer var15 = new java.lang.Integer((-1));
	    java.lang.Integer var16 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var17 = com.domainlanguage.time.TimePoint.atGMT((int)var10, (int)var11, (int)var12, (int)var13, (int)var14, (int)var15, (int)var16);
	    java.lang.Integer var18 = new java.lang.Integer(100);
	    com.domainlanguage.time.Duration var19 = com.domainlanguage.time.Duration.years((int)var18);
	    java.lang.Integer var20 = new java.lang.Integer(0);
	    java.lang.Integer var21 = new java.lang.Integer(100);
	    java.lang.Integer var22 = new java.lang.Integer(1);
	    java.lang.Integer var23 = new java.lang.Integer(1);
	    java.lang.Integer var24 = new java.lang.Integer(100);
	    java.lang.Integer var25 = new java.lang.Integer((-1));
	    java.lang.Integer var26 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var27 = com.domainlanguage.time.TimePoint.atGMT((int)var20, (int)var21, (int)var22, (int)var23, (int)var24, (int)var25, (int)var26);
	    java.lang.Integer var28 = new java.lang.Integer(100);
	    com.domainlanguage.time.Duration var29 = com.domainlanguage.time.Duration.years((int)var28);
	    java.lang.Integer var30 = new java.lang.Integer(0);
	    java.lang.Integer var31 = new java.lang.Integer(100);
	    java.lang.Integer var32 = new java.lang.Integer(1);
	    java.lang.Integer var33 = new java.lang.Integer(1);
	    java.lang.Integer var34 = new java.lang.Integer(100);
	    java.lang.Integer var35 = new java.lang.Integer((-1));
	    java.lang.Integer var36 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var37 = com.domainlanguage.time.TimePoint.atGMT((int)var30, (int)var31, (int)var32, (int)var33, (int)var34, (int)var35, (int)var36);
	    com.domainlanguage.time.TimeInterval var38 = var29.startingFrom(var37);
	    boolean var39 = var27.isAfter(var38);
	    java.lang.Integer var40 = new java.lang.Integer(0);
	    java.lang.Integer var41 = new java.lang.Integer(100);
	    java.lang.Integer var42 = new java.lang.Integer(1);
	    java.lang.Integer var43 = new java.lang.Integer(1);
	    java.lang.Integer var44 = new java.lang.Integer(100);
	    java.lang.Integer var45 = new java.lang.Integer((-1));
	    java.lang.Integer var46 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var47 = com.domainlanguage.time.TimePoint.atGMT((int)var40, (int)var41, (int)var42, (int)var43, (int)var44, (int)var45, (int)var46);
	    java.lang.Double var48 = new java.lang.Double(0.0d);
	    com.domainlanguage.money.Money var49 = com.domainlanguage.money.Money.euros((double)var48);
	    java.lang.Short var50 = new java.lang.Short((short)(-1));
	    boolean var51 = var49.equals((java.lang.Object)var50);
	    com.domainlanguage.time.TimeInterval var52 = com.domainlanguage.time.TimeInterval.over(var9, var47);
	    com.domainlanguage.time.TimePoint var53 = var52.start();
	    com.domainlanguage.time.TimeInterval var54 = com.domainlanguage.time.TimeInterval.everPreceding(var53);
	    
	    // Checks the contract:  var54.equals(var54)
	    assertTrue("Contract failed: var54.equals(var54)", var54.equals(var54));

	  }

	  public void test14() throws Throwable {

	    java.lang.Boolean var0 = new java.lang.Boolean(true);
	    java.lang.Integer var1 = new java.lang.Integer(100);
	    com.domainlanguage.time.Duration var2 = com.domainlanguage.time.Duration.years((int)var1);
	    java.lang.Integer var3 = new java.lang.Integer(0);
	    java.lang.Integer var4 = new java.lang.Integer(100);
	    java.lang.Integer var5 = new java.lang.Integer(1);
	    java.lang.Integer var6 = new java.lang.Integer(1);
	    java.lang.Integer var7 = new java.lang.Integer(100);
	    java.lang.Integer var8 = new java.lang.Integer((-1));
	    java.lang.Integer var9 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var10 = com.domainlanguage.time.TimePoint.atGMT((int)var3, (int)var4, (int)var5, (int)var6, (int)var7, (int)var8, (int)var9);
	    java.lang.Integer var11 = new java.lang.Integer(0);
	    java.lang.Integer var12 = new java.lang.Integer(100);
	    java.lang.Integer var13 = new java.lang.Integer(1);
	    java.lang.Integer var14 = new java.lang.Integer(1);
	    java.lang.Integer var15 = new java.lang.Integer(100);
	    java.lang.Integer var16 = new java.lang.Integer((-1));
	    java.lang.Integer var17 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var18 = com.domainlanguage.time.TimePoint.atGMT((int)var11, (int)var12, (int)var13, (int)var14, (int)var15, (int)var16, (int)var17);
	    java.lang.Integer var19 = new java.lang.Integer(100);
	    com.domainlanguage.time.Duration var20 = com.domainlanguage.time.Duration.years((int)var19);
	    java.lang.Integer var21 = new java.lang.Integer(0);
	    java.lang.Integer var22 = new java.lang.Integer(100);
	    java.lang.Integer var23 = new java.lang.Integer(1);
	    java.lang.Integer var24 = new java.lang.Integer(1);
	    java.lang.Integer var25 = new java.lang.Integer(100);
	    java.lang.Integer var26 = new java.lang.Integer((-1));
	    java.lang.Integer var27 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var28 = com.domainlanguage.time.TimePoint.atGMT((int)var21, (int)var22, (int)var23, (int)var24, (int)var25, (int)var26, (int)var27);
	    java.lang.Integer var29 = new java.lang.Integer(100);
	    com.domainlanguage.time.Duration var30 = com.domainlanguage.time.Duration.years((int)var29);
	    java.lang.Integer var31 = new java.lang.Integer(0);
	    java.lang.Integer var32 = new java.lang.Integer(100);
	    java.lang.Integer var33 = new java.lang.Integer(1);
	    java.lang.Integer var34 = new java.lang.Integer(1);
	    java.lang.Integer var35 = new java.lang.Integer(100);
	    java.lang.Integer var36 = new java.lang.Integer((-1));
	    java.lang.Integer var37 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var38 = com.domainlanguage.time.TimePoint.atGMT((int)var31, (int)var32, (int)var33, (int)var34, (int)var35, (int)var36, (int)var37);
	    com.domainlanguage.time.TimeInterval var39 = var30.startingFrom(var38);
	    boolean var40 = var28.isAfter(var39);
	    java.lang.Integer var41 = new java.lang.Integer(0);
	    java.lang.Integer var42 = new java.lang.Integer(100);
	    java.lang.Integer var43 = new java.lang.Integer(1);
	    java.lang.Integer var44 = new java.lang.Integer(1);
	    java.lang.Integer var45 = new java.lang.Integer(100);
	    java.lang.Integer var46 = new java.lang.Integer((-1));
	    java.lang.Integer var47 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var48 = com.domainlanguage.time.TimePoint.atGMT((int)var41, (int)var42, (int)var43, (int)var44, (int)var45, (int)var46, (int)var47);
	    java.lang.Double var49 = new java.lang.Double(0.0d);
	    com.domainlanguage.money.Money var50 = com.domainlanguage.money.Money.euros((double)var49);
	    java.lang.Short var51 = new java.lang.Short((short)(-1));
	    boolean var52 = var50.equals((java.lang.Object)var51);
	    com.domainlanguage.time.TimeInterval var53 = com.domainlanguage.time.TimeInterval.over(var10, var48);
	    com.domainlanguage.time.TimePoint var54 = var53.end();
	    java.util.Calendar var55 = var54.asJavaCalendar();
	    com.domainlanguage.time.TimePoint var56 = com.domainlanguage.time.TimePoint.from(var55);
	    com.domainlanguage.time.TimeInterval var57 = com.domainlanguage.time.TimeInterval.everPreceding(var56);
	    
	    // Checks the contract:  var57.equals(var57)
	    assertTrue("Contract failed: var57.equals(var57)", var57.equals(var57));

	  }

	  public void test15() throws Throwable {

	    java.lang.Integer var0 = new java.lang.Integer(100);
	    com.domainlanguage.time.Duration var1 = com.domainlanguage.time.Duration.years((int)var0);
	    java.lang.Integer var2 = new java.lang.Integer(0);
	    java.lang.Integer var3 = new java.lang.Integer(100);
	    java.lang.Integer var4 = new java.lang.Integer(1);
	    java.lang.Integer var5 = new java.lang.Integer(1);
	    java.lang.Integer var6 = new java.lang.Integer(100);
	    java.lang.Integer var7 = new java.lang.Integer((-1));
	    java.lang.Integer var8 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var9 = com.domainlanguage.time.TimePoint.atGMT((int)var2, (int)var3, (int)var4, (int)var5, (int)var6, (int)var7, (int)var8);
	    java.lang.Integer var10 = new java.lang.Integer(0);
	    java.lang.Integer var11 = new java.lang.Integer(100);
	    java.lang.Integer var12 = new java.lang.Integer(1);
	    java.lang.Integer var13 = new java.lang.Integer(1);
	    java.lang.Integer var14 = new java.lang.Integer(100);
	    java.lang.Integer var15 = new java.lang.Integer((-1));
	    java.lang.Integer var16 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var17 = com.domainlanguage.time.TimePoint.atGMT((int)var10, (int)var11, (int)var12, (int)var13, (int)var14, (int)var15, (int)var16);
	    java.lang.Integer var18 = new java.lang.Integer(100);
	    com.domainlanguage.time.Duration var19 = com.domainlanguage.time.Duration.years((int)var18);
	    java.lang.Integer var20 = new java.lang.Integer(0);
	    java.lang.Integer var21 = new java.lang.Integer(100);
	    java.lang.Integer var22 = new java.lang.Integer(1);
	    java.lang.Integer var23 = new java.lang.Integer(1);
	    java.lang.Integer var24 = new java.lang.Integer(100);
	    java.lang.Integer var25 = new java.lang.Integer((-1));
	    java.lang.Integer var26 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var27 = com.domainlanguage.time.TimePoint.atGMT((int)var20, (int)var21, (int)var22, (int)var23, (int)var24, (int)var25, (int)var26);
	    java.lang.Integer var28 = new java.lang.Integer(100);
	    com.domainlanguage.time.Duration var29 = com.domainlanguage.time.Duration.years((int)var28);
	    java.lang.Integer var30 = new java.lang.Integer(0);
	    java.lang.Integer var31 = new java.lang.Integer(100);
	    java.lang.Integer var32 = new java.lang.Integer(1);
	    java.lang.Integer var33 = new java.lang.Integer(1);
	    java.lang.Integer var34 = new java.lang.Integer(100);
	    java.lang.Integer var35 = new java.lang.Integer((-1));
	    java.lang.Integer var36 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var37 = com.domainlanguage.time.TimePoint.atGMT((int)var30, (int)var31, (int)var32, (int)var33, (int)var34, (int)var35, (int)var36);
	    com.domainlanguage.time.TimeInterval var38 = var29.startingFrom(var37);
	    boolean var39 = var27.isAfter(var38);
	    java.lang.Integer var40 = new java.lang.Integer(0);
	    java.lang.Integer var41 = new java.lang.Integer(100);
	    java.lang.Integer var42 = new java.lang.Integer(1);
	    java.lang.Integer var43 = new java.lang.Integer(1);
	    java.lang.Integer var44 = new java.lang.Integer(100);
	    java.lang.Integer var45 = new java.lang.Integer((-1));
	    java.lang.Integer var46 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var47 = com.domainlanguage.time.TimePoint.atGMT((int)var40, (int)var41, (int)var42, (int)var43, (int)var44, (int)var45, (int)var46);
	    java.lang.Double var48 = new java.lang.Double(0.0d);
	    com.domainlanguage.money.Money var49 = com.domainlanguage.money.Money.euros((double)var48);
	    java.lang.Short var50 = new java.lang.Short((short)(-1));
	    com.domainlanguage.time.TimeInterval var51 = com.domainlanguage.time.TimeInterval.over(var9, var47);
	    com.domainlanguage.time.TimePoint var52 = var51.start();
	    java.lang.Double var53 = new java.lang.Double(0.0d);
	    com.domainlanguage.money.Money var54 = com.domainlanguage.money.Money.euros((double)var53);
	    java.lang.Integer var55 = new java.lang.Integer(0);
	    java.lang.Integer var56 = new java.lang.Integer(100);
	    java.lang.Integer var57 = new java.lang.Integer(1);
	    java.lang.Integer var58 = new java.lang.Integer(1);
	    java.lang.Integer var59 = new java.lang.Integer(100);
	    java.lang.Integer var60 = new java.lang.Integer((-1));
	    java.lang.Integer var61 = new java.lang.Integer((-1));
	    com.domainlanguage.money.Money var62 = var54.times((int)var61);
	    java.lang.Double var63 = new java.lang.Double(0.0d);
	    com.domainlanguage.money.Money var64 = com.domainlanguage.money.Money.euros((double)var63);
	    java.lang.Integer var65 = new java.lang.Integer(0);
	    java.lang.Integer var66 = new java.lang.Integer(100);
	    java.lang.Integer var67 = new java.lang.Integer(1);
	    java.lang.Integer var68 = new java.lang.Integer(1);
	    java.lang.Integer var69 = new java.lang.Integer(100);
	    java.lang.Integer var70 = new java.lang.Integer((-1));
	    java.lang.Integer var71 = new java.lang.Integer((-1));
	    java.lang.Integer var72 = new java.lang.Integer((-1));
	    com.domainlanguage.money.Money var73 = var64.times((int)var72);
	    java.math.BigDecimal var74 = var73.breachEncapsulationOfAmount();
	    java.lang.Integer var75 = new java.lang.Integer(1);
	    com.domainlanguage.time.Duration var76 = com.domainlanguage.time.Duration.hours((int)var75);
	    com.domainlanguage.time.TimeInterval var77 = com.domainlanguage.time.TimeInterval.everFrom(var52);
	    
	    // Checks the contract:  var77.equals(var77)
	    assertTrue("Contract failed: var77.equals(var77)", var77.equals(var77));

	  }

	  public void test16() throws Throwable {

	    java.lang.Integer var0 = new java.lang.Integer(0);
	    java.lang.Integer var1 = new java.lang.Integer(100);
	    java.lang.Integer var2 = new java.lang.Integer(1);
	    java.lang.Integer var3 = new java.lang.Integer(1);
	    java.lang.Integer var4 = new java.lang.Integer(100);
	    java.lang.Integer var5 = new java.lang.Integer((-1));
	    java.lang.Integer var6 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var7 = com.domainlanguage.time.TimePoint.atGMT((int)var0, (int)var1, (int)var2, (int)var3, (int)var4, (int)var5, (int)var6);
	    java.lang.Integer var8 = new java.lang.Integer(0);
	    java.lang.Integer var9 = new java.lang.Integer(0);
	    java.lang.Integer var10 = new java.lang.Integer(100);
	    java.lang.Integer var11 = new java.lang.Integer(1);
	    java.lang.Integer var12 = new java.lang.Integer(1);
	    java.lang.Integer var13 = new java.lang.Integer(100);
	    java.lang.Integer var14 = new java.lang.Integer((-1));
	    java.lang.Integer var15 = new java.lang.Integer((-1));
	    com.domainlanguage.time.CalendarDate var16 = com.domainlanguage.time.CalendarDate.from((int)var8, (int)var11, (int)var15);
	    com.domainlanguage.time.CalendarDate var17 = var16.lastOfMonth();
	    java.lang.Long var18 = new java.lang.Long(1L);
	    com.domainlanguage.time.Duration var19 = com.domainlanguage.time.Duration.milliseconds((long)var18);
	    com.domainlanguage.time.CalendarDate var20 = var17.firstOfMonth();
	    int var21 = var20.breachEncapsulationOf_year();
	    com.domainlanguage.time.Duration var22 = com.domainlanguage.time.Duration.weeks((int)var21);
	    com.domainlanguage.time.TimeInterval var23 = com.domainlanguage.time.TimeInterval.everPreceding(var7);
	    
	    // Checks the contract:  var23.equals(var23)
	    assertTrue("Contract failed: var23.equals(var23)", var23.equals(var23));

	  }

	  

	  public void test20() throws Throwable {

	    java.lang.Integer var0 = new java.lang.Integer(0);
	    java.lang.Integer var1 = new java.lang.Integer(100);
	    java.lang.Integer var2 = new java.lang.Integer(1);
	    java.lang.Integer var3 = new java.lang.Integer(1);
	    java.lang.Integer var4 = new java.lang.Integer(100);
	    java.lang.Integer var5 = new java.lang.Integer((-1));
	    java.lang.Integer var6 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var7 = com.domainlanguage.time.TimePoint.atGMT((int)var0, (int)var1, (int)var2, (int)var3, (int)var4, (int)var5, (int)var6);
	    java.lang.Boolean var8 = new java.lang.Boolean(true);
	    java.lang.Integer var9 = new java.lang.Integer(100);
	    com.domainlanguage.time.Duration var10 = com.domainlanguage.time.Duration.years((int)var9);
	    java.lang.Integer var11 = new java.lang.Integer(0);
	    java.lang.Integer var12 = new java.lang.Integer(100);
	    java.lang.Integer var13 = new java.lang.Integer(1);
	    java.lang.Integer var14 = new java.lang.Integer(1);
	    java.lang.Integer var15 = new java.lang.Integer(100);
	    java.lang.Integer var16 = new java.lang.Integer((-1));
	    java.lang.Integer var17 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var18 = com.domainlanguage.time.TimePoint.atGMT((int)var11, (int)var12, (int)var13, (int)var14, (int)var15, (int)var16, (int)var17);
	    java.lang.Integer var19 = new java.lang.Integer(0);
	    java.lang.Integer var20 = new java.lang.Integer(100);
	    java.lang.Integer var21 = new java.lang.Integer(1);
	    java.lang.Integer var22 = new java.lang.Integer(1);
	    java.lang.Integer var23 = new java.lang.Integer(100);
	    java.lang.Integer var24 = new java.lang.Integer((-1));
	    java.lang.Integer var25 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var26 = com.domainlanguage.time.TimePoint.atGMT((int)var19, (int)var20, (int)var21, (int)var22, (int)var23, (int)var24, (int)var25);
	    java.lang.Integer var27 = new java.lang.Integer(100);
	    com.domainlanguage.time.Duration var28 = com.domainlanguage.time.Duration.years((int)var27);
	    java.lang.Integer var29 = new java.lang.Integer(0);
	    java.lang.Integer var30 = new java.lang.Integer(100);
	    java.lang.Integer var31 = new java.lang.Integer(1);
	    java.lang.Integer var32 = new java.lang.Integer(1);
	    java.lang.Integer var33 = new java.lang.Integer(100);
	    java.lang.Integer var34 = new java.lang.Integer((-1));
	    java.lang.Integer var35 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var36 = com.domainlanguage.time.TimePoint.atGMT((int)var29, (int)var30, (int)var31, (int)var32, (int)var33, (int)var34, (int)var35);
	    java.lang.Integer var37 = new java.lang.Integer(100);
	    com.domainlanguage.time.Duration var38 = com.domainlanguage.time.Duration.years((int)var37);
	    java.lang.Integer var39 = new java.lang.Integer(0);
	    java.lang.Integer var40 = new java.lang.Integer(100);
	    java.lang.Integer var41 = new java.lang.Integer(1);
	    java.lang.Integer var42 = new java.lang.Integer(1);
	    java.lang.Integer var43 = new java.lang.Integer(100);
	    java.lang.Integer var44 = new java.lang.Integer((-1));
	    java.lang.Integer var45 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var46 = com.domainlanguage.time.TimePoint.atGMT((int)var39, (int)var40, (int)var41, (int)var42, (int)var43, (int)var44, (int)var45);
	    com.domainlanguage.time.TimeInterval var47 = var38.startingFrom(var46);
	    boolean var48 = var36.isAfter(var47);
	    java.lang.Integer var49 = new java.lang.Integer(0);
	    java.lang.Integer var50 = new java.lang.Integer(100);
	    java.lang.Integer var51 = new java.lang.Integer(1);
	    java.lang.Integer var52 = new java.lang.Integer(1);
	    java.lang.Integer var53 = new java.lang.Integer(100);
	    java.lang.Integer var54 = new java.lang.Integer((-1));
	    java.lang.Integer var55 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var56 = com.domainlanguage.time.TimePoint.atGMT((int)var49, (int)var50, (int)var51, (int)var52, (int)var53, (int)var54, (int)var55);
	    java.lang.Double var57 = new java.lang.Double(0.0d);
	    com.domainlanguage.money.Money var58 = com.domainlanguage.money.Money.euros((double)var57);
	    java.lang.Short var59 = new java.lang.Short((short)(-1));
	    boolean var60 = var58.equals((java.lang.Object)var59);
	    com.domainlanguage.time.TimeInterval var61 = com.domainlanguage.time.TimeInterval.over(var18, var56);
	    com.domainlanguage.time.TimePoint var62 = var61.end();
	    com.domainlanguage.time.TimeInterval var63 = com.domainlanguage.time.TimeInterval.everPreceding(var62);
	    
	    // Checks the contract:  var63.equals(var63)
	    assertTrue("Contract failed: var63.equals(var63)", var63.equals(var63));

	  }

	  

	  public void test22() throws Throwable {

	    java.lang.Long var0 = new java.lang.Long(1L);
	    com.domainlanguage.time.TimePoint var1 = com.domainlanguage.time.TimePoint.from((long)var0);
	    com.domainlanguage.time.TimeInterval var2 = com.domainlanguage.time.TimeInterval.everPreceding(var1);
	    
	    // Checks the contract:  var2.equals(var2)
	    assertTrue("Contract failed: var2.equals(var2)", var2.equals(var2));

	  }

	  public void test23() throws Throwable {

	    java.lang.Integer var0 = new java.lang.Integer(100);
	    com.domainlanguage.time.Duration var1 = com.domainlanguage.time.Duration.years((int)var0);
	    java.lang.Integer var2 = new java.lang.Integer(0);
	    java.lang.Integer var3 = new java.lang.Integer(100);
	    java.lang.Integer var4 = new java.lang.Integer(1);
	    java.lang.Integer var5 = new java.lang.Integer(1);
	    java.lang.Integer var6 = new java.lang.Integer(100);
	    java.lang.Integer var7 = new java.lang.Integer((-1));
	    java.lang.Integer var8 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var9 = com.domainlanguage.time.TimePoint.atGMT((int)var2, (int)var3, (int)var4, (int)var5, (int)var6, (int)var7, (int)var8);
	    java.lang.Integer var10 = new java.lang.Integer(100);
	    com.domainlanguage.time.Duration var11 = com.domainlanguage.time.Duration.years((int)var10);
	    java.lang.Integer var12 = new java.lang.Integer(0);
	    java.lang.Integer var13 = new java.lang.Integer(100);
	    java.lang.Integer var14 = new java.lang.Integer(1);
	    java.lang.Integer var15 = new java.lang.Integer(1);
	    java.lang.Integer var16 = new java.lang.Integer(100);
	    java.lang.Integer var17 = new java.lang.Integer((-1));
	    java.lang.Integer var18 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var19 = com.domainlanguage.time.TimePoint.atGMT((int)var12, (int)var13, (int)var14, (int)var15, (int)var16, (int)var17, (int)var18);
	    com.domainlanguage.time.TimeInterval var20 = var11.startingFrom(var19);
	    java.lang.Integer var21 = new java.lang.Integer(100);
	    com.domainlanguage.time.Duration var22 = com.domainlanguage.time.Duration.years((int)var21);
	    java.lang.Integer var23 = new java.lang.Integer(0);
	    java.lang.Integer var24 = new java.lang.Integer(100);
	    java.lang.Integer var25 = new java.lang.Integer(1);
	    java.lang.Integer var26 = new java.lang.Integer(1);
	    java.lang.Integer var27 = new java.lang.Integer(100);
	    java.lang.Integer var28 = new java.lang.Integer((-1));
	    java.lang.Integer var29 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var30 = com.domainlanguage.time.TimePoint.atGMT((int)var23, (int)var24, (int)var25, (int)var26, (int)var27, (int)var28, (int)var29);
	    com.domainlanguage.time.TimeInterval var31 = var22.startingFrom(var30);
	    com.domainlanguage.time.TimeInterval var32 = com.domainlanguage.time.TimeInterval.everPreceding(var9);
	    
	    // Checks the contract:  var32.equals(var32)
	    assertTrue("Contract failed: var32.equals(var32)", var32.equals(var32));

	  }
}
